<html>
<head><meta charset="utf-8"><title>meeting 2019.05.06 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html">meeting 2019.05.06</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="165002001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165002001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165002001">(May 06 2019 at 17:37)</a>:</h4>
<p>Meeting here in ~30 minutes. I've updated <a href="https://paper.dropbox.com/doc/2019.04.29-2019.06.10--AcnDW0v21K~PJocSQ65p~bY5Ag-5gix1dpUSHKirVcEww5iw" target="_blank" title="https://paper.dropbox.com/doc/2019.04.29-2019.06.10--AcnDW0v21K~PJocSQ65p~bY5Ag-5gix1dpUSHKirVcEww5iw">the sprint document</a> to contain more of the details from <em>this</em> sprint. I've also tried to open more issues and things, though I suspect we could do better at "opening up" smaller steps and filing issues.</p>



<a name="165004055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004055">(May 06 2019 at 18:02)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> -- sync?</p>



<a name="165004076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004076">(May 06 2019 at 18:02)</a>:</h4>
<p>See my message above. Last week, I said that I'd do my best to create mentoring instructions, and I've tried :)</p>



<a name="165004141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004141">(May 06 2019 at 18:03)</a>:</h4>
<p>The sprint document is pretty clear, if that's what you mean</p>



<a name="165004185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004185">(May 06 2019 at 18:04)</a>:</h4>
<p>That's what I mean ..</p>



<a name="165004257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004257">(May 06 2019 at 18:04)</a>:</h4>
<p>I guess we can briefly overview what's there</p>



<a name="165004314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004314">(May 06 2019 at 18:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116108">@Keith Yeung</span> is looking at extending chalk with <code>dyn</code> and <code>impl</code> types, laying the groundwork for trait objects; once that work is done,  we'll want to discuss how to integrate those rules into implied bounds (<span class="user-mention" data-user-id="131694">@scalexm</span> has a proposal here)</p>



<a name="165004412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004412">(May 06 2019 at 18:06)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> is looking at some of the "basics of specialization. I'm separating that work into a few parts. This part is the simpler part, I think. It focuses on "if have a legal specialization (for some definition), how do we adjust the chalk lowering to take that into account"</p>



<a name="165004435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004435">(May 06 2019 at 18:06)</a>:</h4>
<p>The trickier bits will come in later, when we talk about how to determine if a specialization is legal</p>



<a name="165004485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004485">(May 06 2019 at 18:07)</a>:</h4>
<p>actually, under the goal of </p>
<p># Validate search strategy</p>
<p>there might be some more things to add</p>



<a name="165004524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004524">(May 06 2019 at 18:07)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> -- you had some PR that extended support for builtin traits in some ways, right?</p>



<a name="165004574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004574">(May 06 2019 at 18:08)</a>:</h4>
<p>(in rustc, I think)</p>



<a name="165004589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004589">(May 06 2019 at 18:08)</a>:</h4>
<p>yes, <a href="https://github.com/rust-lang/rust/pull/60183" target="_blank" title="https://github.com/rust-lang/rust/pull/60183">https://github.com/rust-lang/rust/pull/60183</a></p>



<a name="165004612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004612">(May 06 2019 at 18:08)</a>:</h4>
<p>It occurs to me that we might port some of that work to chalk-solve, which is where I think it belongs in chalk</p>



<a name="165004629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004629">(May 06 2019 at 18:09)</a>:</h4>
<p>There is also probably work to build on the hooks that <span class="user-mention" data-user-id="116108">@Keith Yeung</span> landed, which control the order in which we evaluate goals</p>



<a name="165004643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004643">(May 06 2019 at 18:09)</a>:</h4>
<p>Feels like we're chasing the rustc impl a bit here</p>



<a name="165004654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004654">(May 06 2019 at 18:09)</a>:</h4>
<p>it doesn't really "control" the order just yet; it's merely a framework for now</p>



<a name="165004720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004720">(May 06 2019 at 18:10)</a>:</h4>
<blockquote>
<p>Feels like we're chasing the rustc impl a bit here</p>
</blockquote>
<p>yeah, I think ideally rustc would depend on chalk-solve, but that's not possible at the moment, so there is some duplication</p>



<a name="165004745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004745">(May 06 2019 at 18:10)</a>:</h4>
<p>the "non-enumerate goal" extends to chalk-engine apply to both</p>



<a name="165004765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004765">(May 06 2019 at 18:10)</a>:</h4>
<p>i have a quick question: do new subgoals get added to the end of the queue during solving?</p>



<a name="165004801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004801">(May 06 2019 at 18:11)</a>:</h4>
<p>if so, then our currently algorithm is pretty much a LIFO (that is, by selecting the last goal in the queue)</p>



<a name="165004809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004809">(May 06 2019 at 18:11)</a>:</h4>
<p>That question is hard to answer; solving doesn't have a queue, for example :)</p>



<a name="165004822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004822">(May 06 2019 at 18:11)</a>:</h4>
<p>Or at least not a "central" queue</p>



<a name="165004828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004828">(May 06 2019 at 18:11)</a>:</h4>
<p>And there aren't new goals</p>



<a name="165004832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004832">(May 06 2019 at 18:11)</a>:</h4>
<p>Well, sometimes there are.</p>



<a name="165004904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004904">(May 06 2019 at 18:12)</a>:</h4>
<p>Actually, this is precisely what I had planned to talk about in the meeting that follows this one</p>



<a name="165004906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004906">(May 06 2019 at 18:12)</a>:</h4>
<p>(chalk-engine crate)</p>



<a name="165004926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004926">(May 06 2019 at 18:12)</a>:</h4>
<p>we do have sub-goals which delegate to other tables, which each have (essentially) a queue of goals, right?</p>



<a name="165004953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004953">(May 06 2019 at 18:13)</a>:</h4>
<p>or sort of an implicit, lazily initialized queue :)</p>



<a name="165004968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004968">(May 06 2019 at 18:13)</a>:</h4>
<p>anyway, we can talk about it later</p>



<a name="165004992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165004992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165004992">(May 06 2019 at 18:13)</a>:</h4>
<p>Our video meeting today is about chalk engine, right? We could answer the question there</p>



<a name="165005002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005002">(May 06 2019 at 18:14)</a>:</h4>
<p>right, I think the full answer is that we should cover it in the talk</p>



<a name="165005071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005071">(May 06 2019 at 18:14)</a>:</h4>
<blockquote>
<p>yeah, I think ideally rustc would depend on chalk-solve, but that's not possible at the moment, so there is some duplication</p>
</blockquote>
<p>just curious, is the primary reason for this the lack of a shared type representation?</p>



<a name="165005088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005088">(May 06 2019 at 18:14)</a>:</h4>
<blockquote>
<p>Feels like we're chasing the rustc impl a bit here</p>
</blockquote>
<p>to circle back to this, I feel like implementing built-in rules in chalk-solve is probably not a great use of time just now</p>



<a name="165005092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005092">(May 06 2019 at 18:14)</a>:</h4>
<blockquote>
<p>just curious, is the primary reason for this the lack of a shared type representation?</p>
</blockquote>
<p>yes</p>



<a name="165005110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005110">(May 06 2019 at 18:15)</a>:</h4>
<p>I feel like it .. might be possible to factor that out</p>



<a name="165005123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005123">(May 06 2019 at 18:15)</a>:</h4>
<p>but that's another story</p>



<a name="165005129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005129">(May 06 2019 at 18:15)</a>:</h4>
<p>(this is partly why I had such a fine-grained division of crates to start)</p>



<a name="165005204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005204">(May 06 2019 at 18:16)</a>:</h4>
<p>new insights mean new create structures <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="165005213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005213">(May 06 2019 at 18:16)</a>:</h4>
<p>so I guess the main work item remains trying to implement the 'non-enumerable idea', or come up with a better one; I left some high-level notes on how that should work but I'd like to spend more time on it.</p>



<a name="165005270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005270">(May 06 2019 at 18:17)</a>:</h4>
<p>the next goal was </p>
<p># Goal: Refactoring and Improving chalk itself</p>



<a name="165005279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005279">(May 06 2019 at 18:17)</a>:</h4>
<p>this is kind of a cleanup task</p>



<a name="165005290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005290">(May 06 2019 at 18:17)</a>:</h4>
<p>as we talked about, trying to rename the crates and make them more logical</p>



<a name="165005350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005350">(May 06 2019 at 18:18)</a>:</h4>
<p>also presently unassigned :)</p>



<a name="165005358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005358">(May 06 2019 at 18:18)</a>:</h4>
<p>Pick me!</p>



<a name="165005380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005380">(May 06 2019 at 18:18)</a>:</h4>
<p>seems good to me :)</p>



<a name="165005446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005446">(May 06 2019 at 18:19)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> I don't think I created a chalk issue, but feel free to do so -- do you feel like you have a "feeling" for what should happen here? I sketched a few notes in the paper doc</p>



<a name="165005463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005463">(May 06 2019 at 18:19)</a>:</h4>
<p>(one thing we might consider, as an aside, is whether we want a <code>components</code> directory vs having the crates all live in the "root directory")</p>



<a name="165005518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005518">(May 06 2019 at 18:20)</a>:</h4>
<p>I'm sort of not that particular on the setup but happy to kibbitz :)</p>



<a name="165005561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005561">(May 06 2019 at 18:20)</a>:</h4>
<p>I'll have to look a bit into it first, but I'd like to know at some point what you have in mind for tests</p>



<a name="165005599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005599">(May 06 2019 at 18:21)</a>:</h4>
<p>Like, do the tests themselves need improvement, or is it mainly organization and the running of them that needs to be improved?</p>



<a name="165005622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005622">(May 06 2019 at 18:21)</a>:</h4>
<p>mostly org</p>



<a name="165005636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005636">(May 06 2019 at 18:21)</a>:</h4>
<p>there are many setups which would be fine</p>



<a name="165005646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005646">(May 06 2019 at 18:21)</a>:</h4>
<p>the main observation is that what is presently the "root crate" is really just an elaborate testing harness</p>



<a name="165005734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005734">(May 06 2019 at 18:22)</a>:</h4>
<p>so it'd probably be better to have chalk-solve by the "root crate", and move that harness and supporting infrastructure into other crates; one way to do this would be to use the cargo <code>tests</code> directory to houes the tests themselves</p>



<a name="165005749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005749">(May 06 2019 at 18:22)</a>:</h4>
<p>i.e., the modules full of tests we have today</p>



<a name="165005759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005759">(May 06 2019 at 18:22)</a>:</h4>
<p>there is perhaps further cleanup one could do as well...</p>



<a name="165005770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005770">(May 06 2019 at 18:22)</a>:</h4>
<p>Yup, seems natural</p>



<a name="165005787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005787">(May 06 2019 at 18:23)</a>:</h4>
<p><span aria-label="check mark" class="emoji emoji-2714" role="img" title="check mark">:check_mark:</span></p>



<a name="165005791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005791">(May 06 2019 at 18:23)</a>:</h4>
<p># Goal: rustc-chalk interation improvements</p>



<a name="165005933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005933">(May 06 2019 at 18:24)</a>:</h4>
<p>there is actually more we could write here, I realize, but I feel like the most important is probably to try and "run the solve" and get more specific about what goes wrong. I still feel like there are some unknowns. One thing we do know is a problem is region solving, but I'd sort of like to try and factor that out and see what other problems we hit. Anyway, this is presently unassigned, but I also don't have very discrete tasks broken out because it feels a bit 'exploratory'</p>



<a name="165005960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165005960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165005960">(May 06 2019 at 18:25)</a>:</h4>
<p>the next ("Lazy norm") is similar -- I still need to follow upon the work I started earlier.</p>



<a name="165006008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006008">(May 06 2019 at 18:25)</a>:</h4>
<p>the last item is "upcasting", which <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> and <span class="user-mention" data-user-id="126931">@centril</span> have been  looking into (and has nothing much to do with chalk) -- I'm not really sure what the steps are there right now</p>



<a name="165006025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006025">(May 06 2019 at 18:25)</a>:</h4>
<p>but if y'all want to briefly update, sounds good</p>



<a name="165006090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006090">(May 06 2019 at 18:26)</a>:</h4>
<p>I guess that about wraps up the tour of what's there -- anybody lurking who wants a task and doesn't have one?</p>



<a name="165006093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006093">(May 06 2019 at 18:26)</a>:</h4>
<p>Or feels stuck?</p>



<a name="165006115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006115">(May 06 2019 at 18:26)</a>:</h4>
<p>I have a small note</p>



<a name="165006136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006136">(May 06 2019 at 18:27)</a>:</h4>
<p>We've merged chalk PR in rust-analyzer, and we now see it in the profile: <a href="https://github.com/rust-analyzer/rust-analyzer/issues/1244#issuecomment-489675789" target="_blank" title="https://github.com/rust-analyzer/rust-analyzer/issues/1244#issuecomment-489675789">https://github.com/rust-analyzer/rust-analyzer/issues/1244#issuecomment-489675789</a></p>



<a name="165006144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006144">(May 06 2019 at 18:27)</a>:</h4>
<p>I haven't looked into this yet, but it might be something interesting to keep in mind</p>



<a name="165006171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006171">(May 06 2019 at 18:27)</a>:</h4>
<p>Ah, great. Yeah, it's not...really ever been optimized? So I would not be surprised to find things are fairly slow. I've got to read more into that integration.</p>



<a name="165006232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006232">(May 06 2019 at 18:28)</a>:</h4>
<p>(Also, it's worth pointing out that the "reproducing rustc" work around built-in bounds etc ought to directly affect rust-analyzer)</p>



<a name="165006253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006253">(May 06 2019 at 18:28)</a>:</h4>
<p>I've been wondering about creating some goals around rust-analyzer and trying to populate them a bit</p>



<a name="165006308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006308">(May 06 2019 at 18:29)</a>:</h4>
<p>Ah, one other thing I jsut remembered is that I'm pretty sure the existing solver has a bug around co-inductive cycles (rustc had a similar bug...) and I need to file an issue with a test case for that...</p>



<a name="165006412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006412">(May 06 2019 at 18:30)</a>:</h4>
<p>also going on is <a href="https://github.com/rust-lang/rust/pull/57428" target="_blank" title="https://github.com/rust-lang/rust/pull/57428">https://github.com/rust-lang/rust/pull/57428</a>, I did an initial review of that</p>



<a name="165006423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006423">(May 06 2019 at 18:30)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I could use some mentoring so we can finish that :)</p>



<a name="165006456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006456">(May 06 2019 at 18:30)</a>:</h4>
<p>ah, right, let's add that to the list</p>



<a name="165006468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006468">(May 06 2019 at 18:30)</a>:</h4>
<blockquote>
<p>I've been wondering about creating some goals around rust-analyzer and trying to populate them a bit</p>
</blockquote>
<p>Right, rust-analyzer is pretty good in digging up problems with Chalk atm</p>



<a name="165006472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006472">(May 06 2019 at 18:30)</a>:</h4>
<p>and you + I should schedule a time to chat</p>



<a name="165006552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165006552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165006552">(May 06 2019 at 18:31)</a>:</h4>
<p>ok, should we do the chalk-engine call now?</p>



<a name="165030437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.05.06/near/165030437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E05.2E06.html#165030437">(May 07 2019 at 00:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I've started tinkering around with upcasting now, but I may still lack the big picture view of the code... trying to make sense of eddyb's notes mainly.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>